From nominal to higher-order rewriting and back again
نویسندگان
چکیده
منابع مشابه
From nominal to higher-order rewriting and back again
We present a translation function from nominal rewriting systems (NRSs) to combinatory reduction systems (CRSs), transforming closed nominal rules and ground nominal terms to CRSs rules and terms, respectively, while preserving the rewriting relation. We also provide a reduction-preserving translation in the other direction, from CRSs to NRSs, improving over a previously defined translation. Th...
متن کاملFrom Higher-Order to First-Order Rewriting
We show how higher-order rewriting may be encoded into rst-order rewriting modulo an equational theory E. We obtain a characterization of the class of higher-order rewriting systems which can be encoded by rst-order rewriting modulo an empty theory (that is, E = ;). This class includes of course the-calculus. Our technique does not rely on a particular substitution calculus but on a set of abst...
متن کاملNominal Unification from a Higher-Order Perspective
Nominal logic is an extension of first-order logic with equality, namebinding, renaming via name-swapping and freshness of names. Contrarily to lambda-terms, in nominal terms, bindable names, called atoms, and instantiable variables are considered as distinct entities. Moreover, atoms are capturable by instantiations, breaking a fundamental principle of the lambda-calculus. Despite these differ...
متن کاملHigher-Order Rewriting
Note: This paper will appear in the proceedings of the 10th international conference on rewriting techniques and applications (RTA'99). c Springer Verlag.
متن کاملFrom Notions to Models and Back Again, Again
A typical thread in research relies on the maturing of ideasthrough an iterative process of construction, testing and refinement.In this talk I will trace some such trajectories of ideas by illustrationfrom some of my own and others’ experiences in agent-based modelling.I draw inspiration from previous commentaries, including from thosewho generated the mottos: “No Notation ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2015
ISSN: 1860-5974
DOI: 10.2168/lmcs-11(4:9)2015